perm filename PNB10.360[360,GF] blob
sn#876694 filedate 1989-08-31 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'βH↔παp→L'#λ~LF4 0Fβ⊃PB↓∧xεS"∧` ∪α$`αAA∧`↓B u@∧⊗ uHβV u8∧U!5_εT pλβS`p_βS p(βS`8βR``@βR@`HβR@`@∧∩@p(¬∩Apλβ∩Apλβ∩aP⊂∧∪↓0_∧∪@t("_C⊃X∩IH%α)@8&↓i@8&↓i@8&↓i@8&↓i@8&↓`@0&↓` P&↓`⊂`&¬)@Hαα @8βB @8∧↓i@8∧↓i@8∧α @8∧Ai@8∧Ai@8∧Ai@8∧Ai@8∧Ai@8∧Ai@8∧Ai@8∧Ai@8∧Ai@8∧↓i@8∧↓i@8∧↓i@8βAi@@αB @0C)@ ↓C @_αBJ`0"Q10εC⊂HβT!4xπSB∀hβA d`βA`T`βα DXβR`tXβ∩@tPβR@tPβR@tPβR@tP∧∩`tXβRaXS↓@α∪↓⊂0αS"$pπSaU⊂βQ(F FdR πB⊂@-↓k 8-↓k 8-↓k 8-↓k 8-↓j⊂(α↓ipH↓↓i`XAiQ &αP@&↓`p8%Aa8%Aa8%Aa8%↓a⊂8%↓a⊂8%↓a⊂8%↓a⊂8%↓a⊂8%↓a⊂8%↓a⊂8%↓a⊂8%↓a⊂8%α↓8%Aa8%Aa8%Bp8&α@H&β@⊂0&C ⊂@'α@0@(↓HT 2Ec⊃PBtxεSAthλSp(β∪`8β∩`p8β∩``HαR``Hβ∩@pHβ∩BdP∩BdPβR@tPβR@tP∧∩`tXβRaXS↓H↓S↓ (β∪"4pλSae⊂∧⊃(F0λD∧R(∧AJ⊂P(αip`'A@0_'↓I`0'↓IP8&AiP8&AiP8%∧)!λ%∧)P8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&B 0`%CλT 3Ec∩_A`tx¬S"D`
R`p(¬∩``8∧R@p@αR@`Hβ∩@`Hβ∩@`Hβ∩@`Hβ∩@`Hβ∩`P@β∩``8β∪`(β∪!th@!4h↓@t`↓S4Xα∩b∀X RBTP∩Bd`
R`@`β∩@@pαR@@pαR@@pα∩@P`αRBTX Sα∧x¬Q(F@
π∧B α) H&↓i@8&↓i@8&↓i@8&↓i@8&↓i@8α↓)@8↓α)@8Bi@8C A &α 0@&αP@&↓``@&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p@%α`0`%α`0`"Q
⊂hπλd0 α∪ dhβ∪ dhβ∪@D8αα ∀xαRa∀X∧S thβS thβS thβS thβS thβS thβS thβS thβS thβS t`∧RATPεQ(FP¬Beb_β↓ p0'AIp0'AJ #A↓ λ(↓)@H&B `8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`0&AiP8%α) H%α @("Q
1P∞ ∧@∧RA∀`βSt`βSt`βSt`βSt`βSt`βA!∧`βA!∧`βA@d`βA T`βAT`β@`T`β@@T`β@ d`πS↓t`λ∪↓λβSp_βSp_βSp_∧∪p βSp ∧∪p(βSp(∧∪p0βSp0∧∪p8βS↓0∧∩A0 ¬RA0 ¬Q(F`εCDB B)0H&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&α) h%β(T 6JEAHA@ (βα Thα@a (∧RA⊂εa4P∧!`λεS`λπ!T`¬a@_∧∪↓0∧A@t`βAa8∧∪p@βBt`βBp@βSp@βBt`βBp@βSp@βBt`βBp@βSp@βBt`βBp@βSp@βBt`βBp@βSp@βBt`βBp@βSp@βBt`βBp@βSp@βBt`βBp@∧∩A0 ¬A↓DP¬A↓0 ε⊃(Fp
πβ⊃Hβ@P(&A 0H%α X%α⊂h&↓@⊂h&α 0@&αP@&↓``@&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p8&↓`p@%α`0`%α`0`"Q
q@
εC⊂HβT!DxπSB∀hβA↓∧`βA@t`βαtXβBtXβBtXβα@tPβB@tPβB@tPβB@tPβB@tPβB@tPβB@tPβB@tPβB@dXβBtXβBtXβBd`βA@t`∧↓thλSAtxε∀@t("≤β⊃X⊃F `⊂αAIP(↓BI @↓β @CI@Hαα @8βB @8∧↓i@8∧↓i@8∧α @8∧Ai@8∧Ai@8∧Ai@8∧Ai@8∧Ai@8∧Ai@8∧Ai@8∧Ai@8∧Ai@8∧↓i@8∧↓i@8∧↓i@8βAi@@αB A &↓`⊂X&↓` H&↓`@(&↓i@8&↓i@8&↓i@8&α h%β(T 8FcR_A`dx¬↓ 4pε`Dhε@ d`∧↓!∧`βA`tXβBtXβBtXβBtPβB tPβB tPβB tPβB tPβB tPβB tPβB tPβB tPβB tP∧αtXβBtXβBtX∧↓A∧`∧↓↓∀`
S!@λβSA ⊂βT` βV@uPβV@uPβV@uPβVA¬@εV↓T("≤B1(F `⊂↓A)P(↓α @BI @BI@@↓AI@8α↓I@8α↓I@8αA @8&↓i@8&↓i@8&↓i@8&↓i@8&↓i@8&↓i@8&↓i@8&α `%βλT 9E"aPAa∧pπ∪"∀` ∩`p(βR``@αR`dXβ∩`d`β∪↓∧h¬SATxεT!E ¬∃`u@βV eHβ∩@PPβ∩@`@βRA(βRBDP Sα∧x¬⊃(G
E∧↓x∧@J('↓i`8'↓i`8'↓i!_%∧i!_'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'αpλ'A``_'B@ (βJ⊂`)αJ@0"Q∞QH
εC⊂@S@P0∧∩A⊂0∧∩A⊂8βSp8βSp8βSp8βSp8βSp8βSp8βSp8βSp8βSp8βSp8βSp8βSp8βSp8βSp8βSp8βSp8βS↓(∧∪!_∧S!Pλβ∪!Pλβ∪A0⊂∧∪a⊂_∧∀ T("≥C!XεXβB XβB @8¬A P0¬@iP8∧A P8∧A `0∧@i`8βA p0β@ip8αA
0αA
8↓A
8↓A
⊂8A
⊂8A
0@j P)B*0@)B
@0*↓JP(*A
P "Q∞r8∀εβ¬α @HβRA Hαα t`βB `Hα∪pHβBDhβα↓@↓S p8∧A@DhβAA 0α∪@`0¬A 4pβ↓ @λβA 4pβ@`Pλ∧`Dpβ@`@_β@`Dxβ@P_∧@4xβ@@(β@@4xβ@@(∧ 4xβ @8β@ 5¬↓a%∧B!∃∧B!∃∧αa¬λβB`uλββ eλαC@e⊂αβ`E⊂↓D 5⊂↓D 4("≡β!Pε⊂XαAi0XαAiP@β↓)`@α↓)p8α↓ p@↓↓*h(β
⊂X)α* @)B
@@)B*0P)αj⊂h(↓@⊂@'A@ @'A @@'↓ PH&A p@&↓@pH%α P`%α P`"Q∂⊃P
HC¬Aa∧P¬Aa∧`∧α@DhβB@4h∧αDh∧αDpβA`Dp∧↓@DxβA Dx∧↓Eβ@`Uβ@`E∧ Uλβ@ Eλβ@ E⊂¬TA%⊂¬∀a¬_∧∃u β∃ U(α∃ E(α∃E α∃5_α∀`5_↓T@Dx∧Sa∀("≡Ba8ε⊃ %E 1 %Di0⊂¬↓i0⊂∧AjP8*α
@8)Aj @)↓j⊂8(↓ip@'Ai`8&B P8&↓a0⊂%Aa0_%E)!(%¬)!("Qλ∩λ⊂HD x↓V 5@αVU8βU`u8βUA∃0∧U!5(¬U @λβ∃@⊂βU@_β∀`P_βT`@ βT`@ βT@P(βT@@0βT P0∧∀ @@βT @@βTαU
SbtxαβtxαβtpαC↓∧pαβ@thαCA∧hαβa∧hα∧t`αD↓∧P∧βA4P∧βA4("⊂C!p⊃λ@↓⊂%¬)A &¬)@8βα @8βB @8∧↓i@8∧↓i@8∧↓i@8∧↓i@8∧↓I@8∧↓I@8βAI@8β↓IAλ&∧IA &¬)@8βα)@8∧α @8∧Ai@8∧B @8¬↓i@8¬↓i@8¬↓i@8¬↓i@8¬↓i@8∧B @8∧Ai@8∧α @8βB)A0&¬)!0%∧hT !FcR⊂⊃β↓¬_π∀"%
∪a(∧∪@pHβ∪ pXαS `hα∪t`β∩`tXβR`tPβR@tPβR@tPβR@tPβR@tPβR@tXβR`tXβSt`βC`$hβC Dh∧α`Dp∧A`Tx Tα∃⊂εU↓∧("⊃βr_⊃λ@↓(%¬iA8&ε @8∧B)@8¬B @8ε↓i@8εAi@8εAi@8π↓i@8π↓i@8π↓i@8πAi@8πAi@8πAi@8πAi@8πAi@8πAi@8πAi@8πAi@8πAi@8πAi@8π↓i@8π↓i@8π↓i@8εAi@8εAi@8ε↓i@8¬B @8¬α @8∧α)A8&¬I!0%∧hT "FCR⊂⊃β∧P∪αdh
S p`↓∪ p`↓∪ thβS thβS thβS thβS"$h ∪"$h ∪ thβS thβS thβS thβS thβS pxS pp↓∪ pp↓∪"th∩c∧X⊃(D0G∧"⊂ε)!H&¬iQ0&AaP⊂&Aa`λ&AiP8&AiP8&AiP8&AiP8&AiP8&AiQ_&DiQ_&DiP8&AiP8&AiP8&AiP8&AiP8&AiP8&B 0`%CλT #GDα⊂⊃β↓∃_πT"5
Sa⊂(∧∪AHβ∪!XαS phα∪t`βR`tXβR`tPβR@tPβR@tPβR@tPβC↓4PβC↓4PβCA∧P∧β@tXβC@tXβC@tX∧β t`βC t`∧βth∧α`th∧B@tp¬↓a∧x∀αu⊂π@@E(∧↓@D("∩∧∩ ⊃λ@`∧β `∧β @@εα P8εAiP8εAiP8εAiP8εAiP8εAiP8εAiP8εAiP8εAiP8εAiP8εAiP8εAiQX&FiQX&FiP8εAiP8εAiP8εAiP8εAiP8εAiP8εAiP8εAiP8εAiP8εAiP8εAiP8εAiP8εAiP8εAiP8εAiP@εα 0`∧β 0`∧βλT $C"α⊂⊃↓DPε∪↓∧hβS thβS thβS thβS thβS thβS thβS thβS thβS thβS thβS thβS thβS thβS thβS!∧Xε∩aD("∩A`p∪H@0X&Bj@(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(AI ↓↓i ↓↓I `%αi0H&A(T %G$α⊂⊃↓@0∧RA@0∧S↓PαS pHαS pHα∪ p@α∪ p8α∪ p0αS p(αS p(α∪ p α∪ p_α∪ p⊂αS pλβS pλβS"∧hλ∪"∀h∧@ th∧@@th∧`thβA dhβA thβA@dhβA@thβA`dhβA`thβBdhβBthβB dhβB thβB@dh∧α tX¬AA4X¬AA4("∪β⊃h⊃λ@`%β @@&↓i@8&↓i@8&↓i@8&↓i@8&↓i@8&↓i@8&↓i@8&↓i@8&↓i@8&↓i@8&↓i@8&↓i@8&↓i@8π@)@8πI@8πIA8&¬I!@%ελT &L&B⊂⊃@28↓SB(α∪R_αSR_αSbλβ∪qxβS↓↓h∧∪↓⊃`∧∪↓⊃X∧S↓!H¬∪↓18¬S↓A(ε∪↓Q ε∪↓Q_α@ t`α!⊃λα@@t`αA⊂xβ@t`αa⊂pα@`t`αa `αAt`α↓↓⊂XαA t`α↓!⊂Hβ↓ t`α↓A⊂@αA@t`α↓a⊂0αA`t`α↓a αBt`αα↓⊂_βαt`αα!⊂λβα t`ααA`PβS@PεB`t`ααa@XβS@`¬βt`αβ!hβS@pββ@t`αβ@`pβSPpαβ`tP∧G!4P∧G!4("∪Cr⊂⊃λ@ _λB)@ λα)@(λA)@0λA @8λ↓ @8λ↓ @@πA @Hπ↓ @PεA @Xε↓ @`¬A @h¬↓ @p∧A @ BA &↓ PβA @ ↓B p &↓@Hβ↓ @ αB P &↓`Hα↓ @ βB 0 &↓pP↓↓ @ ∧α@⊂ &↓↓⊂p&↓↓ h&↓↓0`&↓↓@X&↓↓PP&↓↓`H&↓↓p@&↓α8&↓α8&↓α⊂0&↓"⊂(%α" %α"⊂_"Q qx⊂HD `∧∀aeλ ∀αDx∧↓!∀pβB!∧hβB`thββ t`βC t`ββ`tXβC`tXβC`tXβ∧ tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD dXβC`tXβC`tXβC`d`βC t`βC dhβB`th∧α tp∧A!∧x
∀α%⊂π∃!∧("∀β!p⊃λ@↓_%¬IA(&¬I@8βαI@8∧α @8∧B @8∧B @8¬↓i@8¬↓i@8¬↓i@8¬↓i@8¬↓i@8∧Ai@8∧Ai@8∧↓i@8βB A(&¬ A⊂&↓`⊂8&↓i@8&↓i@8&↓i@8&↓i@8&↓i@8&↓i@@%β `"Q
⊃x⊂J$ `∧∀aeλ ∀αDx∧↓!∀pβB!∧hβB`thββ t`βC t`ββ`tXβC`tXβC`tXβ∧ tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD tPβD dXβC`tXβC`tXβC`d`βC t`βC dhβB`th∧α tp∧A!∧x
∀α%⊂π∀!uαA!0S`0HεS`⊂`ε↔!%x∧_fλα⊃(E⊂
Gd"⊂∧I! &∧iA &↓``@&↓`p8&↓`p@&↓a8&↓a8&↓a8&↓a8&↓a8&↓a8&↓`p8&↓`p8&↓``8&∧iA⊂&∧IA⊂&↓`P8&↓`P8&↓``8&↓``8&↓`p8&↓`p8&↓`p8&↓a8&↓a8&↓a⊂8&↓a⊂8&↓a 8&α↓⊂8%βp@%β↓8"Q
1(HD 8∧Sadpλ∪"∀`βA d`β↓`TXβR`tXβR`tX∧∪t`∧∪!∧h¬∪A$x¬T↓5λ¬Ta% ∧U!∃0∧∃a¬@βVu@βVtPαα@tPαBtPβA!∧P RB$`π∪a∀("∃β⊃P⊃λ@↓H%ε)!H%ε) ⊂βA`p⊂%!8∧*08)Aj08)Aj08)Aj08)Aj08)Aj08)Aj08)Aj08)Aj08)Aj08)Aj08)Aj08)Aj08)Aj H(β*h"Q
Qp⊂λD εB↓∀PεB↓∀`∧CThβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@DhβC@Dh∧β 4pβCDp∧α`DxβB@Dx∧αU∧AeλλTAu ¬U@t("∃D∩⊂⊃λ@Xπα Xπα @@λ↓)P8λ↓ P@π↓)P@π↓)`8π↓ `@ε↓)p8ε↓ p8ε↓ p@¬↓*8¬↓
@∧↓*⊂8∧↓
⊂8∧↓
⊂@β↓* 8β↓
@α↓*08α↓
08α↓
0@↓↓*@8↓↓
@8↓↓
P0↓jPX*Bj`H+α*p8+Ajp8,↓+(,@k⊂_"Q
rx_λD εα`0`∧RA@Xααa∀`∧βPhαS↓`ββThβB`p`α∪ pX∧α`Dh∧αAPαS!H∧B@TpβB! Hα∪@p@¬B Dp∧↓`@λβA`Tp∧↓@PλβA`TxβA@@_βA@DxβA@@_βA@DxβA P_βA Tx∧↓@(βAUβ@`P(βAUβ@`@8β@@Uβ@@P8β@@U∧ P8β@@U∧ @Hβ@ Uλβ@ @Hβ@ Eλ¬Ba5λ¬Ba5λ¬β!%⊂∧C!∃⊂∧βa¬⊂∧βa¬⊂∧βa¬_β∧ e_β∧ e_αD`U_αD`U_α¬ E ↓E 4("⊗∧∩⊂⊃λ@ X¬α @X¬α `@ε↓)p@¬↓)p@¬↓
@∧↓*⊂@β↓*⊂@αA* @α↓* @↓A*0@A*@8A
@`*BJPH+α
p@+B
`P+αjP`*↓ ⊂@*↓ ⊂H)A 0@)↓ @H(A@P@(A p@(↓!H'A! @'↓A0@'↓!@H&A!`@&↓A`H%α!@`%α!@`"Q∩λ⊂HD ¬CA∧P¬CA∧`∧∧Th∧β@Th∧β@Tp∧βTp∧B@Tx∧α e∧αU∧↓`Uλ∧↓ eλ∧AU⊂∧`U_∧@U_∧ U εU↓E(¬∃!%0∧∃`u8βU`u8βU`u8βU`u8βU`u8βU`u8βUA∃ εU↓T("⊗Ba8⊃λ@⊃ %E 1 %E 0⊂¬↓i0⊂∧B
`8*B
P8*α
@@)B
0@)α
@(B
⊂@(Aj@(α p@'B `@'α P@&B P8&α @8¬@I0@¬@I08¬@i!0%¬)!(%¬(T _¬C∩⊂⊃αu¬SaTpπS ` β∪ P0β∪`0β∪`0βR``@β∩``@β∩``@β∩``@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@β∩``@β∩``@β∩``@β∩`p0β∪`0β∪`0αS ` β∪!tpεSa5λβQ(Cλ
¬d2_ε@JP )AJ⊂@'αi@h%βi (↓Ai0λβ↓j 8)↓j 8)↓j 8)↓j 8)↓j 8)↓j 8)↓j 8)↓j 8)↓j 8)↓j 8)↓j 8)↓j 8)↓j⊂H&D)Qλ"Qε! λD 8βSAD`πRb∀Xβ↓↓∧XαA@tXααtXααu8βU`u8βUA¬0βU!¬ ∧∀a¬_βT@uλβTdxβ∪@dhβ∪ T`αSTXαC ∀XαC$Pββ$P
∩B4P RB4P RB4("bA@⊃λ@`8&βI1%D)0(αα 0 βα 0_∧↓i0_∧↓j`8+↓j`0*AjP0*↓J@(α*X(β
P@+↓j`8+Ajp8+Ajp8+Ajp8+α
`8*B βα !λ%∧ p&B(T ~εC2λ⊂B@% α∀`U_α∀@U⊂α∀@EλαT @@↓∀P0α∀@(β∪`P βS`@(βS`@(βS@P(βS@@0βS P0βS @8βSP8βS@@βS@@βR`@HβR`@HβRC$P
∩C∀PVu@βVu@βUa∃(εU!T("
"A@⊃λ@⊃λ%D)1λ%D)1λ%D)0 ¬@I0 ε)0 ε)0 %A 0 %C)0x%D 1λ*α
P@+↓j`@+Ajp8+Ajp8+Ajp8+Aj`8+↓jP8%↓`@%∧)!%βIPH"Qεa0HD P∧∀A5εSadpβ∪ dhαSd`β∩`dXβ∩`` β∩``⊂¬∩@pλε∩BDP∧A↓∧P∧↓@tP∧↓A∧PβBtPβBtPβBtPβBtPβBtPβBtXβαtXβαtXβαt`αBd`β↓@thαA@dhβ↓tpπSaU¬T@d("
bQH⊃λ@⊃ %E 1 %E 1_%∧i ⊂εA ⊂ε↓ λε@jp +@j` +jP *↓
@ )A*0 )↓* )↓
⊂((A
((↓)p0'A)p('↓I`0&AiP0&AI@8&↓hT ≤¬C∩⊂⊃↓a∧pπ∪"∧` ∪↓(αRa8αR`pHα∩`pHα∩`pHα∩`pHα∩a8α∪↓(αS↓ ⊂αS!tpεSa4xεSAthβ!$`αA!∧XαAa∧Xαα tPαB!∧Pαα`tPαα`tPαα`tPαα`tPαB!∧PαB!∧XαAa∧Xβ↓!∀` ∪"∧xε∀!∧("∞"aH⊃λA0(αI`h&Ci@8α↓I@0β↓)08β↓I00∧↓) 8∧↓I 8∧↓I 8∧↓I 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i08βα 08βα 0@αα)A &β⊂8&B@ 0'A@@0,AK⊂0,↓K0,↓*p0+↓IPp&C)PX'αλT ε#R⊂⊃β∧P∪αd`Spp↓∪pp↓∪pxSt`βSt`βSt`βSt`βSt`βSt`βSt`βSt`βSt`βSt`βSt`βSt`βSt`∧∩ADPε⊃(@λ∂H∧"⊂πk_+A*p(+↓j`8*B*PH*αj@X*↓⊂0)A ⊂8)A00)↓ 08)↓ 08(A P8(A P8(A`8(↓ p8(↓↓8'A!⊂8'A↓ 8'↓! @'↓!08&A!@@&A!P8&A↓`8&↓!p8&↓α8%Aα 8%Aα 8%πi!x%πi!x"Q!x⊂HD `∧∀aeλ ∀αDx∧↓!∀pβB!∧hβB`thββ t`βC t`ββ`tXβC`tXβC`tXβ∧ tPβ@` 8↓`tPβ@a0_βR@p_¬@`tPβ@a0_βR@p_¬@`tPβ@a0_βR@p_↓↓` _βR@qλβR@qλβR@qλβ∩`pxβR`pxβR`pxβ∪phβSphβ∪ pXβS!HβSA⊂(∧∪bE ∀Ae(∧⊃(@_⊂H$"⊂π@k⊂_,↓+(+Ajp8+Aj`H+α*PX*BjP_↓↓J@ ↓↓j@ ↓↓j0(↓α
0 α↓j0 α↓j (αα
β↓j⊂(βα
⊂ ∧↓j⊂ ∧↓j(∧α
¬↓ip(¬α p ε↓ip ε↓i`(εα ` π↓iP(πα P(πα P λ↓i@(λα @παi @παhT αεcB⊂⊃#∀XRc∀XRc∀P
R@!8↓∩@!8↓∩@⊃HQ`@(↓β $xλSb∀xλSb∀xλSb∀x↓β $8α@⊃HR@!8↓∩@!8↓∩C4XRc∀XRc∀XQ(@(∂λD"⊂π)!h&ε)@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@8¬Ai@@¬α `ββ `ββλT βεCB⊂⊃β∧P∩C∧X∩a⊂h↓∪↓⊂hS!∧p∧∪A∀x∧T↓¬λ∧∀A¬⊂∧Ta∃ ∧∃!¬(∧∃@e(β∃ U αT`e⊂β∀ eβ∪`dpββ`∀hββ`$`β∧$`∩c∧PRC∀PQ(@8∂H∧"⊂α↓!P(&α!⊂H%B`pX%CP`%``(↓A `_%A ↓A↓⊂%! A↓ λ*A⊂ +`⊂_+`⊂_+`⊂_+`⊂_+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8*B*0h)C(T ∧λ∧"⊂⊃αAE ε∃`e8β∃`e8β∃`e_π∀αDp∪ p_β`t`βA` βR`p(β↓ tXβA `(βR``0β↓@tPβA@`0βR@p0β↓@tPβA@`0βR@p0β↓@tPβA@`0βR@p0β↓@dXβA `(βR`p(β↓ t`βA` βS p_β`tp∀αE_π∃`e8β∃`e8β∃`e ε∃↓D("α$"_⊃λA0`*C
p@,↓K0,↓K0%α`0βα @β↓@`@&↓@`0β↓I@0β↓@`0&↓@`0β↓I@8αA@P8&↓`P0αAiP0αA@P0&A@P0αAIP0αA@P0&A@P0αAIP0αA@P0'↓@@0α↓I`8↓A@08'B⊂0B
↓0(E
1+αK0,↓K0,↓K0,↓Jp@*C
P`"Q↓"λ∩λD h∧∃!U_λT"E∧↓!∀xβB!∧pβB`thβC thβC!∧`βC`t`βC`t`β∧ tXβD tXβD tXβD tXβD tXβD tXβD t`β∧ d`βC`thββ`dhββ`dpββ dpββ dxαC UαB`Uλαα`DPA`@Hα↓`∀P↓↓`0H↓A`$PεAaTPεAaTXε↓aDXε↓aDXε↓aDXε↓aD("∧↓PpF!⊂λ'A)0H%B)P8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&α) h%β(T λBa2 B@∃αS↓∀h∧∪@tpβS@tpβS@tpβS@tpβS@tpβS@tpβS@tpβS@tpβS@tpβS@tpβS@tpβS@tpβS@tpβS@dhβS tP∧RA∀P∧∪T("∧B1βI@%B)`@(↓j 8*↓J`(,↓(T Db⊂8∩αa¬_∧T!¬βS@thβ∪TPαQ(A
D`B⊂A!⊂(&α⊂@'β*H)↓(T
D"⊂8∩0X↓R@@Hα∩@@Hα∩`@8α∩`P(αS↓Th¬S`t("¬B⊃λ↓H@↓λ%∧)!λ%∧(T D"⊂8∩↓`EA∀xA@∀xA@∀xA@∀xA@∃A∃λα⊃(0β∂x␈␈␈pα∨x␈␈␈/x␈␈␈p@α∀@u0αU@U¬∀↓∧("ε#!X∪ !⊂8(C
p'D `@↓Ai`8αAI`0βAIP8βAIP8βAIP8βAIP8βAIP8βAIP8β↓IP8β↓I Pβ↓I PαAI@@αAI@@αAI@@αAI@@αAIP8αAiP8β↓IP8β↓iP8βAIP8βAiP8∧↓IP8∧↓iP8∧↓iP8∧AiP8∧AiP8∧AiP8∧AiP8∧AiP8∧α P8βB P8↓C 0H↓Bi0@ααJpH"Qβ"8∀εC⊂`∧↓ uλπA4pλ@!T`⊃∪αp βSp8∧↓@d`↓C`8βV``@β⊗`PHβ⊗`PHβ⊗αu0Uβ5⊂β@ eβ@`dpβA dhβ↓`d`βαtXβα@dPβB@dPβB``hRA@∧B@DP
A@dP @"$Xλ@at`π↓aDx∧βt("εeαP
ε!⊂8¬AJ⊂`βαIpx↓C)aλCiP8αC@0&↓`pPβ↓)@0∧B `0%Aa⊂@βAI08∧Bp0%AA08βAI 8¬E 8¬E 8¬E 8¬AI 8¬AI 8¬AI 8¬AI 8¬Ai08∧B 08∧B 08∧B!@λ&↓`pX∧A @@αC@P0&D ⊃⊂'β`1'C`h)↓a08"QβA@
π#! ↓↔ 5_β@`5λπ∪atpλS p ∧∪p0βS`8∧∩`p0∧R``0↓@ tPβA@0λβR@p(↓@@tPβA0_βR@p_α`tPβ@`0 βR@p⊂↓A tPβ@ 00βR@pλ↓A@dX∧A@tX∧↓`d`βA@t`∧↓thλSAthπ∪0_βS4`↓⊃(Ah⊗∧"⊂ ¬kA8-F1@-β↓0⊂,A ⊂8¬@K⊂(Ak(↓↓jp0↓↓jp(↓Aj`0↓Aj`(α↓jP0α↓jP(αAj@0αD*@(β∧*@(β∧*0(βD*0(βAj 0βAj (∧↓j (∧↓j⊃((E*↓0(↓↓08'A!08'A↓@8'↓!@8π@)` εAa`⊂&A!P8πIP π¬i@(π¬I Hε¬I Hε¬HT ∂f∩⊂⊃β↓
∀d5λ∩T∧dx∧↓A@X↓∪@pP¬α`$hβC↓∀hββA∧`βCA∧`β∧tXβDtXβDtXβ∧ tPβD tPβD"∀PβD"∀PβD"∀PβD"∀PβD tPβD tPβD tPβD tPβD tXβDtXβDtXβDt`βCA∧`βCA∧hβC↓⊂xS!P¬β@$p∧AA@p↓∪e%∀∀Apλ∃!⊂ ⊃(Ax∂H%∩(
@L@_2J`@α@j0p@j⊃ (¬ p@αB)`8∧B P8¬AiP0¬B)@8¬B)@0¬@`⊂8%Aa _↓↓i08¬` 8%AA _α↓i 8¬`@8%↓a⊂_αAi 8∧``8%↓a_β↓i 8β@`p8%↓``_∧↓i 8βa8%↓`P_∧Ai 8αa 8%↓`@_¬↓I08↓a 8%A` _¬↓i08@a00&α!08&α!00&Aa08&B↓⊂8'α P@'E a '`⊂p&@`P@&@I@_&HT /¬"0 ⊃αU∧SAT`λR``8β⊃(GpλD R⊂↓↓!⊂%B P⊂%D !%@PH%A("Q∂qλλA$ λα↓`DPβ↓ dPβ↓ dPβ↓ dPβ↓ dXα↓`D("λ `h⊃λ@0%↓I 0%↓I 0%↓I 0%↓I 0%↓I0 %A 0 %A 0 %A 0 %A 0 %A 0 %A 0 %Aλp(A 0%↓I 0%↓I0 "Q∧1H
K∧0PB ∃ ↓A`5 ↓A`5_α↓@E_↓A`5_↓A`5_↓A`5_↓A`5⊂α↓@E⊂↓A`5⊂↓A`4h∪"dh∪"dh∀ 08↓T 08↓T@0α∀08↓T08↓T08↓T08↓S`@0α∪`08↓S`08↓RBdP∩BdP∩Bdp↓A`4p↓A`4hα↓@Dh↓A`4h↓A`4h↓A`4h↓A`4`α↓@D`↓A`4`↓A`4`↓A`4`↓A`4Xα↓@DhB ∀(" αA@∩ ↓ )↓
)↓
⊂0'αiPp&∧ @(A⊂0%A ↓↓)0(↓↓ (%A ↓A 00A0 %Bi0X&αI@`&C)`h(β
X)αj Aj ↓↓J ↓A) α↓0(%↓@ ↓A) (↓A0(%↓@ ↓↓) `AI!⊂&βipH)↓
)↓
"Q∧QP∞ ∧@(αβ ∀h∧α@D`↓@`P8αR`0(πR`00εR@08↓A@DP↓A`0(α∩@08↓A 4P↓A`0 α∩@08↓@`DP↓A@0 ↓R`0(↓@`DXα`0_α∪↓ α∪@@(α∃@E0α∃ E(↓UE_α∀`E⊂α↓@Eλα↓!¬λα↓0_α∀@ ↓A 5↓A 00↓S`@ ↓A`4pα↓ 08↓S@00↓A`4hα↓@08↓S@8↓A`4`α↓`00↓R`@H↓A 4Pαα@@_↓R@@X∧∪⊂pα⊃(B0⊂Hd"⊂εAJPP*β
0p)A@@ )↓@` )↓@` )↓@` )↓@` )↓@` )↓`P_)A`0 )B⊂ *αjPH)BJp'∧ `0&B ⊂@β↓I@@αα@ %B`@↓A 08∧↓`0_%α↓@↓i 8¬β 8¬Bi 8¬BI 8εα) 8εAi08εAI0@¬B @HβBiQX'∧@⊂@(β@@H)α!@"Q∧p0¬β$⊂↓R`TXαR`TXαSD`↓S4`↓∪$X↓∩`$P↓∩@$("
↓a_IA0⊂*↓
0()↓*⊂((↓* 'A)`('↓)P(&A)@(&↓)@(%A)0(%A)0(%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%A)0(%A)0(&↓)@(&↓)P(&A)`('↓)p((↓
((A* ()A*@ *@HT ∀CASλ∪ $Pα∩@TXαSThαS@DpαS`TxαTUαT UλαT U⊂αT@U⊂αT@U_αT`U_αT`U_αT`U_αT`U_αT`U_αT`U⊂αT@U⊂αT@UλαT UλαTUαS`TxαS@Tpα∪ T`αR`TPαR@DX↓⊃(BPπDbα⊂βJ_(i0⊂↓@`0⊂%↓ _↓↓ (↓ (%A ⊂λA)`8(@I`8%A ⊂λA) (↓ (%↓ _↓↓ 0⊂↓@`0⊂(j_(@HT ∃FD↓P
β50↓U@50↓U@50↓U@50↓U@50↓U@4P
∩C$P
∃@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@4("↓⊂`λ↓`0 &↓I0@%B 0@%B @0&A)P &A P_&@I@_&I0⊂%@HT ↔α↓P8β@@DXβ∩A∧P∧∩A∧P∧∩`d`α⊃(Bx¬f∩0 @+@ .↓@_-A0_-↓ -k⊂ ,@k⊂_,↓_+A
p_+@j` +jP *A
P_*↓
@_)A
0 )@j )j⊂ (A
⊂_(↓
_(ip '@i` 'i`_&A P_&↓ @ &i0 %@i %↓ @λ"Qπ @ε¬α@⊂α∩`dP∧∩A∧P∧∩`d`α⊃``⊂α∩`dP∧∩A∧P∧∩A∧Xβ∪D("∞a⊂`∞E0 &↓I0@%B 0@&↓IP #A@0 &↓I0@%B 0@%B @0&A)P &A P_&@I@_&I0⊂%@HT ≡F#px
@β∀PRC∀8¬β∀PRC∀("∂b⊃_⊃λ@P8&Bi0p%∧ (α↓i β↓i _βAi _βAj@8*↓j@8)Aj08)↓j 0(AJ⊂((↓)p('A `('↓ ` '↓λp(α↓ P0&AIP0&AI` "Qλ↓p⊂λD@X∧∀aEλααE↓C4x↓∧$p↓∧@$h↓¬$h↓¬$`↓α@`0↓∪ @¬↓$X↓α↓@ ↓∩` 8α@@` ↓∩` 8α↓P ↓∩@ 8αAP(↓∩@ 8α↓ P(↓∩@ 0αA P(↓∩@ 0αA P(↓∩@ 0αA P(↓∩@ 0αA P(↓∩@ 0αA P(↓∩@ 0αA P ↓∩@ 0αA P ↓∩` (αA P_↓∩` 0α@``⊂↓∩` 0λS 0∧ d`↓↓``_↓S $h↓∪@$x↓∀0x↓∀ @Hβ∀au(∧Q(EXπE&∩0βi x%βi _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i x%βi x"QPxλ$`πRAtPπU@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓U@50↓RAtPπRAt("_`Xεπ @⊂'IP⊂&i@⊂%@i0_%@i (%↓) (%↓)0_"Q∧↓⊂λBαpx↓∃@e_∧T!$p¬∩a$P∧R@dX↓⊃(B⊂ ¬!R↓↓p %A@P0%A@P0%A@P0&↓ `(&↓p &@a_&@a_&@A⊂⊂&a_&A⊂⊂%@a_%@A⊂⊂%A⊂⊂"Q¬Q Apλ∩B∧Pλ⊃(E` ¬AAhα@A⊂⊂'A⊂⊂&@A⊂⊂&@A⊂⊂&A⊂⊂&A⊂⊂%@a_%@a_%↓ `(%↓@P0%↓@P0%↓@P0%Ap "QqλλA$ 8↓TUαTUαT 4("≡c⊃HC@↓H%ε(T >F λπε$P→⊃(GhλDr α↓ 0(&A@ 0&↓@ 0&↓ 0(&↓@ %A@ %@`P_%`P_"Qπ@0ελCPλα∩@dPβ∩@dPβ∩`D8α@ DXα∩`DXα∩`DXα∩`DXα∩`DXα∩`DXα∩`DXα∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ⊃(CpλDd!h∧A
0)↓J 0)↓J0 #A!⊂ )A
0 )↓* (A*('A)`0&AI@8%Ai08%↓i 8%↓i 8β@i 8β@i 8β↓ 08α↓)1&βIPX'AhT ¬H$α(∩Fv¬T@p0ε∀↓@⊂εSaP⊂β`Dpβ@@PλβS@` α dpβα dhβBthβBthβBthβBthβBtP⊂∩D∧P⊂∪ p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βRa0 ε∩a0 ε⊃(@`∞εdR(∧↓JX'C)ph'↓`0 '↓`0 '↓IP8&AiP8&AiP8&Ai!H%ε)!H&Aa8&Aa8&Aa8&Aa8&Aa8&Aa8&Aa8&Aa8&Aa8&Aa8&Aa8&Aa8&Aa8&Aa8&Aa8&Aa8&Aa8&Aa8&Aa8&Aa@%B`@`%B`@`"Q↓Q`
I$PX¬∀b¬λ ∀α4x∧↓ txβA@tpβA`tpβA`thβBthβBthβBthβBthβBtPRC∀PS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βS p@βRa0 ε∩a0 ε⊃(@p∃JDR(Akp`)↓`Ph(β h'C ⊂8↓A `8↓↓ ⊂8'↓@@ AI`0∧↓iP8∧↓iP8∧↓iP8∧↓iP8∧↓iP8∧↓i"@%
"@&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a@%B`@Xαβ 0Xαα`@`"Q↓rX∃ $Q@¬_α%⊂βAB5εBDxε@@p0βS@p⊂α@ p8βS@` α p8βS@`HβαthβBp@βS p@βBthβBp@βS p@βBthβBp@βRE∧P∀∩E∧hβBp@βS p@βBthβBp@βS p@βBthβBp@βS p@βBthβBp@βS p@βBthβBp@βS p@βBthβBp@βS p@βBthβBp@βS p@βBthβBp@βS p@βBthβBp@βS p@βBthβBp@βS p@βBtX¬A↓0 ε∩a0 ¬A↓D(wCM⊗ 2[NFH3~,W⊂⊂∀ d⊂wE,6x2~-f89Xmε(6Y$¬ 2V∧π 2↑∞Nxε→Mvp:→L⊗_2XO↔ 2|`∞P∨2P(:E/`α>fpα>f␈x␈␈␈PεOx␈␈}P∧o0π H&v@
6}`λ⊃↓.N@↓X↔=@"_αliPβ:({d ¬7aPππ/0απ@HV↑@∞-}`(∩@↓?X)@↓hβ=@ahα&x⊂βY_{↓d ¬2)Pπ=/0∧λ`X⎇@∂⊗}`H⊃@↓18{↓pr=A"0βλ=βvh{αcp¬∧] H?0επ@{$`↔7↑`h∞↓∂0I@αx0⎇AbXβ5P_¬␈⊂{βe0εk 0↔∨0λβ@ CL`⊂≡aλπ@Kxuα≥⎇B p↓∧λ`{∧a`α__λ∀?0
∧ (<<⊂.↑a(λ@W@xαg⎇Baλ↓/∂∧∂{¬b⊂α↑≡λ∨␈0∧ (<<⊂H↑aH
@↓_ε@αλ$=C"Pβ+Q0∧≡λ{εe@π C`λJO0∞πH∩i@⊃6>ah↔↓kH>@α_)=Cc⊂∧¬∩P∧=x{πd0¬YS ∞/0⊂∧ (<<⊗0>bλ @a A@α(<=D!H↓{v_¬MP{λcP∧NR` 7←0∩ε`@f4∪→≡b(∂↓_H≥α0p⎇Db(αy∧@∧y0{ a`α(|0
∧∨0∀∧(≥$`∀⊃≡bHλSPI@α@W⎇E!8↓n__¬⊃P{
dP¬ub0
,?0⊗β` |x`∀h≡bh
@muαh⎇Ea⊂↓8*_¬≤8{c⊂∧πcP
;o0_ε`@f48}cλ
@↓`h↓83=F!Xα→Mα{H{c0∧3~εαO0~ε`@f4~}c(
@↓`h↓@j=FaXα→Mβ∩H{
c0∧3~ε3O0≤ε`@f4{}cH
@↓`h↓P4=G p↓∀>_¬$H{∞a`α(|0
N∂0≡∧`0
`⊗l>ch∩@↓=8 @αPS⎇Ga0↓d-P¬←0{∂b`βH[
WO0 λ`X⊃6@∃B>dλ⊃↓-xε@PL⎇H"αLb0↓1{⊂cp¬↓λ0αq?0" Xt @¬z≡d(∂↓≠∪`5⎇Hapα1
(↓L⊂{⊃d⊂¬0' β"?0$ ``P0`εa≡dH @a A@pπ⎇I!_↓Ct↓e`{∩d⊂¬+"PβV␈0&π H&v@πQ≡dh≤α∨ lxK⎇Ib0βε hαε@{∪d0¬YS ∧!←0(λP∨5 λd≡eλ⊃@↓60M↓λ|⎇J"⊂αZF0α)⊂{∀c ∧⊗∪ ∧b←0*ε`@Ew [≡e(⊃@↓20↓_`⎇Jb⊂α[phαD`{∃fπ]∩P¬→∨0,λ`X→@
h≡eH⊃↓,8↑@↓0⊂⎇K!@↓w4hαh`{⊗b`βKJ
y/0.ε 8oX`⊗I↑ehrp(α`~⎇Kaλ↓/∂∧RX{↔b⊂α↑≡,∨00β@ Qx`⊗(≡fλ
↓πi@⊃⎇L!hα&~(π`{_cβt,0 ∨02π H_i R↑f(
↓πH'λg⎇Laλ↓+GP!p{→c ∧⊗⊃`N?04πHε≡@↓9↑fHπH8→@_4⎇M x↓↔}P;⊂{~c0∧0aP↓α∨06β@ CL`α#↑fh∃@↓\⊂u o⎇Ma`α!GPX⊂{≠c@∧I4`↓>∨08π H_i β∃≡gλ∞@↓∪λR@0k⎇N!0↓↑⊂u@{≤cβqB`↓t?0:¬ 0S*βz↑g(∞↓⊂`=@≤⎇Na`α≠Wh↓
@{≥eε5[Pα ∨0<ε@@*E@∧f≡gH∞↓
h>@Hv⎇O!8↓i30↓%@{≡c⊂∧.O0>@↓⊗←}ghπF`αhE=Oaλ↓/∂∧Sp{∨b⊂α↑≡ +∨Hε≤PAw{⎇xow{⎇x